REF, NoConds
Complete (a) == (Complete (a)) 

latex

Up	Tactics as terms
FDL editor aliases	-com